#include <stdio.h>

void main(void)
{
	    printf("Hello world.\n");
	    printf("123456.\n");
	    printf("789\n");
}
